Formal science - PDFSEARCH.IO - Document Search Engine

Formal science
Results: 4621

#	Item
81	Semantic Referencing of Geosensor Data and Volunteered Geographic Information Simon Scheider, Carsten Keßler, Jens Ortmann, Anusuriya Devaraju, Johannes Trame, Tomi Kauppinen, Werner Kuhn Institute for Geoinformatics, U Add to Reading List Source URL: carsten.io Language: English - Date: 2013-09-07 23:22:49 Cognitive science Cognition Philosophy Ontology Perception Humancomputer interaction Social affordance Knowledge representation Affordance Formal ontology Ecological psychology Reality
82	Revisiting: Algebraic laws for nondeterminism and concurrency Matthew Hennessy Milner-Symposium, Edinburgh Add to Reading List Source URL: events.inf.ed.ac.uk Language: English - Date: 2012-10-10 03:52:01 Theoretical computer science Logic in computer science Formal methods Programming language semantics Models of computation Denotational semantics Process calculi Matthew Hennessy Semantics Maurice Nivat Bisimulation Negation
83	THOMAS BITTNER CURRICULUM VITAE June 9, CONTACT INFORMATION Employment Add to Reading List Source URL: www.thomasebittner.com Language: English - Date: 2012-04-30 16:04:40 Ontology Knowledge representation Academia Information science Metaphysics Cognitive science Semantic Web Basic Formal Ontology OBO Foundry Andrew U. Frank Spatialtemporal reasoning Cyc
84	Counterparts in Language and Space - The S-Connection Approach Joana Hois and Oliver Kutz Formal Ontology in Information Systems 2008 Add to Reading List Source URL: fois08.dfki.de Language: English - Date: 2008-11-08 12:34:34 Knowledge representation Information science Cognition Knowledge Knowledge engineering Ontology Semantic Web Technical communication Relation Spatialtemporal reasoning
85	Ontology and Information Systems Barry Smith1 Philosophical Ontology Ontology as a branch of philosophy is the science of what is, of the kinds and structures of objects, properties, events, processes and relations in ev Add to Reading List Source URL: ontology.buffalo.edu Language: English - Date: 2002-07-31 03:24:05 Philosophy Metaphysics Ontology Academia Information science Technical communication Knowledge representation Formal ontology Barry Smith Category of being Process philosophy Mereology
86	Using Philosophy to Improve the Coherence and Interoperability of Applications Ontologies: A Field Report on the Collaboration of IFOMIS and L&C Jonathan Simon and Barry Smith, PhD. Institute for Formal Ontology and Medi Add to Reading List Source URL: ontology.buffalo.edu Language: English - Date: 2004-01-29 05:11:36 Ontology Information science Knowledge representation Technical communication Semantic Web Information Knowledge Upper ontology Formal ontology Barry Smith Web Ontology Language Gene ontology
87	Judgments about spatio-temporal relations Thomas Bittner Qualitative Reasoning Group, Department of Computer Science, Northwestern University and Institute for Formal Ontology and Medical Information Science at the Univ Add to Reading List Source URL: www.acsu.buffalo.edu Language: English - Date: 2004-06-10 06:15:20 Ontology Geolocation Spatiotemporal database Spacetime Formal ontology Metaphysics Meaning philosophy of language) Philosophy
88	Noname manuscript No. (will be inserted by the editor) Relational Analysis of (Co)inductive Predicates, (Co)algebraic Datatypes, and (Co)recursive Functions Jasmin Christian Blanchette Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2015-01-25 16:18:54 Mathematical logic Logic Model theory Mathematics Computability theory Models of computation Formal languages Lambda calculus Theoretical computer science First-order logic Structure Interpretation
89	Ontology Application to the Problem of Maritime Traffic Analysis and Understanding Ontological Approaches to Sensor Data Analysis May, 2016 John McDowall Add to Reading List Source URL: www.ncgia.buffalo.edu Language: English - Date: 2016-05-27 23:40:47 Ontology Knowledge representation Information science Information Technical communication Computing Upper ontology Formal ontology Web Ontology Language GeoSPARQL Class Draft:Outline of ontologies
90	Microsoft WordMOHRI & SPROAT.doc Add to Reading List Source URL: www.ling.helsinki.fi Language: English - Date: 2006-02-14 04:35:20 Formal languages Academia Cognitive science Philosophy Regular language Noam Chomsky Mehryar Mohri Lauri Karttunen Context-free language Finite-state transducer Chomsky hierarchy Context-sensitive language

UPDATE